Merge branch 'ebassi/for-master' into 'master'
authorEmmanuele Bassi <ebassi@gmail.com>
Tue, 17 Nov 2020 16:04:03 +0000 (16:04 +0000)
committerEmmanuele Bassi <ebassi@gmail.com>
Tue, 17 Nov 2020 16:04:03 +0000 (16:04 +0000)
commitb76e514322d0d4946ba10a998c18a2f80025848d
tree6a32581f0ad539133fb76dac30c56d677c36a16b
parent1501aa0603463ea6384e1211f7329839f266f635
parentcf5a173a4f941bb07b2a1e0585828a1a6cf9c244
Merge branch 'ebassi/for-master' into 'master'

Introspection fixes

Closes #3281

See merge request GNOME/gtk!2852